Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten

Java und andere objekt-orientierte Programmiersprachen bieten Kapselung nur auf Attribut-Ebene an. So ist es in Java z. B. möglich den Zugri auf Klassenattribute mit dem Schlüsselwort private auf Quelltext der gleichen Klasse zu beschränken. Dieser Ansatz ermöglicht es aber nur Werte von Attributen zu schützen. Objekte werden in Java durch Referenzen angesprochen. Um Objekte in Attributen zu speichern kann man nur die entsprechenden Referenzen ablegen, nicht jedoch die Objekte selbst. Dadurch ist es in Java nicht möglich Objekte zu kapseln. Um dies zu verdeutlichen ein kleines Beispiel. Es zeigt die Implementierung der Class-Klasse des JDK 1.1, die zu einer Sicherheitslücke geführt hat [6]: